Order of Magnitude Reasoning

نویسنده

  • Olivier Raiman
چکیده

This paper presents a methodology for extending representation and reasoning in Qualitative Physics. This methodology is presently used for various applications. The qualitative modeling of a physical system is weakened by the lack of quantitative information. This may lead a qualitative analysis to ambiguity. One of the aims of this methodology is to cope with the lack of quantitative information. The main idea is to reproduce the physicist’s ability to evaluate the influence of different phenomena according to their relative order of magnitude and to use this information to distinguish among radically different ways in which a physical system may behave. A formal system, FOG, is described in order to represent and structure this kind of apparentty vague and intuitive knowledge so that it can be used for qualitative reasoning. The validity of FOG for an interpretation in a mathematical theory called Non-Standard Analysis is then proven. Last, it is shown how FOG structures the quantity-space.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

The use of models to represent different scientific and engineering situations leads to qualitative reasoning as a good possibility when the traditional numerical methods are limited. Qualitative Reasoning (QR) provides an intermediate level between discrete and continuous models. A form of QR is to manage numerical data in terms of orders of magnitude (see, for example, [12, 14]). Two approach...

متن کامل

Order of Magnitude Reasoning using Logarithms

Converting complex equations into simpler, more tractable equations usually involves approximation. Approximation is usually done by identifying and removing insignii-cant terms, while retaining signiicant ones. The signiicance of a term can be determined by order of magnitude reasoning. In this paper we describe NAPIER, an implemented order of magnitude reasoning system. NAPIER deenes the orde...

متن کامل

Relational Approach to Order-of-Magnitude Reasoning

This work concentrates on the automated deduction of logics of order-of-magnitude reasoning. Specifically, a translation of the multimodal logic of qualitative order-of-magnitude reasoning into relational logics is provided; then, a sound and complete Rasiowa-Sikorski proof system is presented for the relational version of the language.

متن کامل

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning

Qualitative reasoning is a broad area of AI whose main aim is to deal with physical systems where either an information of numerical data is not sufficiently precise, or the physical situation cannot be precisely quantified. In any case, qualitative reasoning is a tool which enables us to reason and make inferences from abstractions of quantitative values instead of the numerical values themsel...

متن کامل

On Order of Magnitude Reasoning and Qualitative Probability

In recent years there has been a spate of papers describing systems for probabilistic reasoning which do not use numerical probabilities. In some cases these systems are unable to make any useful inferences because they deal with changes in probability at too high a level of abstraction. This paper discusses one of the problems this level of abstraction can cause, and shows how the use of a tec...

متن کامل

An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance

We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualita...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1986